The paper focuses on the review of current literature on formal philosophy. Special attention is paid to the review of the book «Introduction to Formal Philosophy» [Hansson, Hendricks, 2018]. The book is a consistent introduction to the problems of formal philosophy, a research tradition that relies on the precise mathematical tools in order to study traditional philosophical problems. The methods of formal philosophy are successfully applied not only to the problems of ontology, epistemology and philosophy of language but also relevant (...) for the problems of ethics, axiology and social philosophy. The book demonstrates that it is not correct to identify formal philosophy with another area of study – philosophical logic, since formal philosophy uses not only logical methods of analysis, but also uses the tools of game theory, decision theory, probability theory, Bayesian statistics, and other theories. Although the book has a propaedeutic character, it also contains some open problems. These problems include the aggregation of the opinions of the group under the condition of a conflicting base of premises in the theory of public choice, there are still open problems in the interpretation of Arrow’s impossibility theorem and others. Certainly, formalization in itself is not a general solution to the particular philosophical problem, but only a tool that allows to formulate a problem in a more rigorous and precise way, which sometimes allows to reveal some unexpected consequences, some implicit contradictions and new solutions. Despite the importance of the concept of coherence in ethics, decision theory, philosophy of law, Bayesian epistemology, philosophy of science, the existing formalizations of the concept of coherence are highly specialized for epistemology, researchers recognize the lack of the relevant explanatory models. Overall, the book is an excellent introduction in to the field of formal philosophy, which provides a general overview of different aspects of formal philosophy and the opportunity to study particular research topics by means of an extensive bibliography accompanying each of the chapters. (shrink)

The article presents a careful analysis of the idea of the “open texture” of empirical concepts and the problems of verification in the way that they were formulated by Friedrich Waismann. The idea of the “open texture” means for Waismann a certain type of a linguistic indeterminacy or a sort of lack of definition, which must be distinguished from, and linked to, another types like vagueness or ambiguity. It is shown that empirical statements are not conclusively verifiable for two different (...) reasons: the incompleteness of description of the material object and the open texture of the terms involved. We cannot conclusively verify statements in which the empirical concepts are used, because we cannot define these concepts in an exhaustive way because of their open texture. Thus, the definition of the concept will be incomplete. Waismann’s approach to definition plays here a key role, and it is directly related to the open texture of concepts. The author proposes interpreting the open texture as an immanent property of the concept, as something that is embedded in it a priori, and which can cause a vagueness. Nevertheless, an open texture must be distinguished form a vagueness. This leads to the conclusion that an open texture is a possibility of vagueness; vagueness can be remedied by giving more accurate rules, open texture cannot. In this sense, the “open texture” of a language allows for a more precise definition of concepts (by adjusting the definition) if appropriate circumstances arise. This justifies the thesis that the argument of the open texture is the ontological basis of the linguistic anti-reductionism of Friedrich Waismann. (shrink)

The article presents a detailed consideration of the arguments from the symposium “Verifiability”, which was held on July 14, 1945 in London, proposed by Scottish philosopher and theologian Donald MacKinnon, Austrian logician and mathematician Friedrich Waismann and English logician and philosopher of science William Kneale. MacKinnon’s approach to verifiability was based on the metaphysics of fact, while Waismann and Kneale’s approach was based on the semantic specificity of empirical concepts (“open texture” and context of use) and on the truth-values of (...) empirical propositions. The symposium in question is interesting primarily because it is the last meaningful discussion on the concept of verifiability in the form in which it was understood by the Vienna Circle. Despite the fact that, in the coming years, this concept received a completely different interpretation, which stands away from the original source, the 1945 symposium could be rightfully treated as a canonical discussion on verifiability in the sense that nothing like this has ever happened in the philosophy after. (shrink)

The article presents the philosophical and linguistic conception of Friedrich Waismann – the theory of many-level-structure of language. The key point of this theory is that each language stratum has its own logic: different concepts of truth, the methods of verifiability and the completeness of description are used in different strata. All this has an influence on the structure of logic itself. This approach suggests that all homogeneous statements (identical in a logical sense) are grouped in one stratum. The relations (...) between the different strata are of a most complicated, peculiar and elusive nature and that does not allow to reduce statement of one stratum to another. According to Waismann, these considerations lead to a new picture of the language, naturally divided into strata. (shrink)

The article examines K.A. Rodin’s thesis on the possibility of including Wittgenstein’s remarks on intention and action in the context of legal philosophy research. It is shown that although the concepts of intention and intentional action are relevant to the philosophy of law, Wittgenstein’s own ideas did not have a significant impact on their relevance (and some of them did not have it at all). This influence is confined to the fact that, like Wittgenstein, many jurists and legal theorists, mainly (...) those who were influenced by the ideas of H.L.A. Hart, also objected to the causal theory of action. However, the influence is limited to this approach. (shrink)

During its hundred-year history, Ludwig Wittgenstein’s Tractatus Logico-Philosophicus has undergone a variety of interpretations and explanations. But the significance of this work cannot be limited to an assessment of whether it had an impact on the development of logical positivism or not. Similarly, the reading of Tractatus cannot be reduced to just an ethical or some other readings. This article proposes to study a possible reading of “Tractatus” in terms of legal philosophy, which is based on the relation between facts, (...) values and norms, as well as on how interesting it could be (or would be) for legal philosophy. (shrink)

The article presents an analysis of K.A. Rodin’s argument that after publishing of Peter Winch’s book “The Idea of Social Science” (1958) the discussions of rule-following problem concerning to social epistemology and the methodology of social studies have not had tangible results. It is shown by the example of modern legal studies that this conclusion is not valid. On the contrary, Wittgenstein’s problem of rule-following and the very idea of rule-shaped activity have proved to have a great importance for an (...) analytical legal philosophy and turned into an independent subject of study. (shrink)

The article is devoted to the comparison of two types of proofs in mathematical practice, the methodological differences of which go back to the difference in the understanding of the nature of mathematics by Descartes and Leibniz. In modern philosophy of mathematics, we talk about conceptual and formal proofs in connection with the so-called Hilbert Thesis, according to which every proof can be transformed into a logical conclusion in a suitable formal system. The analysis of the arguments of the proponents (...) and opponents of the Thesis, “conceptualists” and “formalists”, is presented respectively by the two main antagonists – Y. Rav and J. Azzouni. The focus is on the possibility of reproducing the proof of “interesting” mathematical theorems in the form of a strict logical conclusion, in principle feasible by a mechanical procedure. The argument of conceptualists is based on pointing out the importance of other aspects of the proof besides the logical conclusion, namely, in introducing new concepts, methods, and establishing connections between different sections of meaningful mathematics, which is often illustrated by the case of proving Fermat’s Last Theorem (Y. Rav). Formalists say that a conceptual proof “points” to the formal logical structure of the proof (J. Azzouni). The article shows that the disagreement is based on the assumption of asymmetry of mutual translation of syntactic and semantic structures of the language, as a result of which the formal proof loses important semantic factors of proof. In favor of a formal proof, the program of univalent foundations of mathematics In. Vojevodski, according to which the future of mathematical proofs is associated with the availability of computer verification programs. In favor of conceptual proofs, it is stated (A. Pelc) that the number of steps in the supposed formal logical conclusion when proving an “interesting” theorem exceeds the cognitive abilities of a person. The latter circumstance leads the controversy beyond the actual topic of mathematical proof into the epistemological sphere of discussions of “mentalists” and “mechanists” on the question of the supposed superiority of human intelligence over the machine, initiated by R. Penrose in his interpretation of the Second Theorem of Goedel, among whose supporters, as it turned out, was Goedel himself. (shrink)

У статті аналізуються свідчення вірменських істориків ХІІІ - початку XIV ст. відносно подій хрестових походів 1147 - 1149 рр. і 1189 - 1192 рр.; визначено специфіку традиції історіописання, яка була притаманна середньовічним вірменським хроністам. На основі джерелознавчого дослідження з'ясовано рівень достовірності повідомлень вірменських наративів, ступінь їхньої об'єктивності та інформативності.

Betrifft die Handschrift Cod. 555 der Burgerbibliothek Bern.

Verification and validation of computer codes and models used in simulations are two aspects of the scientific practice of high importance that recently have been discussed widely by philosophers of science. While verification is predominantly associated with the correctness of the way a model is represented by a computer code or algorithm, validation more often refers to the model’s relation to the real world and its intended use. Because complex simulations are generally opaque to a practitioner, the Duhem problem can (...) arise with verification and validation due to their entanglement; such an entanglement makes it impossible to distinguish whether a coding error or the model’s general inadequacy to its target should be blamed in the case of a failure. I argue that a clear distinction between computer modeling and simulation has to be made to disentangle verification and validation. Drawing on that distinction, I suggest to associate modeling with verification and simulation, which shares common epistemic strategies with experimentation, with validation. To explain the reasons for their entanglement in practice, I propose a Weberian ideal–typical model of modeling and simulation as roles in practice. I examine an approach to mitigate the Duhem problem for verification and validation that is generally applicable in practice and is based on differences in epistemic strategies and scopes. Based on this analysis, I suggest two strategies to increase the reliability of simulation results, namely, avoiding alterations of verified models at the validation stage as well as performing simulations of the same target system using two or more different models. In response to Winsberg’s claim that verification and validation are entangled I argue that deploying the methodology proposed in this work it is possible to mitigate inseparability of V&V in many if not all domains where modeling and simulation are used. (shrink)

The Gesta Normannorum Ducum is one of the most important sources for the history of Normandy and England in the eleventh and twelfth centuries, and contains the earliest prose account of the Norman Conquest. It was written by a succession of authors, the first of whom was William of Jumieges, who wrote for William the Conqueror. Later historians, such as Orderic Vitalis and Robert of Torigni, interpolated and extended the chronicle as far as King Henry I. The later accretions reveal (...) much not only about changing attitudes towards the Norman invasion of England, but also about views of the early Viking foundations of Normandy.Elisabeth van Houts's two-volume edition is based on a study of all forty-seven extant manuscripts of the Gesta, including the earliest surviving copy of c. 1100, unknown until very recently. The full original text of William of Jumieges is supplied, as well as the integral text of the subsequent revisions and additions. Volume I contains Dr van Houts's introduction to the whole work, together with the text and translation of books i-iv. Volume II contains books v-viii. The edition forms an important contribution to our understanding of Anglo-Norman politics. (shrink)

The Gesta Normannorum Ducum is one of the most important sources for the history of Normandy and England in the eleventh and twelfth centuries, and contains the earliest prose account of the Norman Conquest. It was written by a succession of authors, the first of whom was William of Jumièges, who wrote for William the Conqueror. Later writers, such as Orderic Vitalis and Robert of Torigni, interpolated and extended the chronicle as far as King Henry I. The later accretions reveal (...) much not only about changing attitudes towards the Norman invasion of England, but also about views of the early Viking foundation of Normandy. Elisabeth van Houts's two-volume edition is based on a study of all forty-seven extant manuscripts of the Gesta, including the earliest surviving copy of c. 1100, hitherto unknown. The full original text of William of Jumièges is supplied, as well as the integral text of the subsequent revisions and additions. Volume I contains Dr van Houts's introduction to the whole work, together with the text and translation of books i-iv. Books v-viii will appear in Volume II. The edition forms an important contribution to our understanding of Anglo-Norman politics. (shrink)

This paper presents the contributions of the French Dominican priest Louis-Joseph Lebret to the emergence of development ethics. Starting from his life and experiences, it outlines his concept of d...

In addition to their function in transport of water, ions, small metabolites, and growth factors in normal plant tissue, the plasmodesmata presumably serve as routes for cell‐to‐cell movement of plant viruses in infected tissue. Virus cell‐to‐cell spread through plasmodesmata is an active process mediated by specialized virus encoded movement proteins; however, the mechanism by which these proteins operate is not clear. We incorporate recent information on the biochemical properties of plant virus movement proteins and their interaction with plasmodesmata in a (...) model for transport of nucleic acids through plasmodesmatal channels. We propose that only single stranded (ss) nucleic acids can be transported efficiently through plasmodesmata, and that movement proteins function as molecular chaperones for ss nucleic acids to form unfolded movement protein‐ss nucleic acid complexes. These complexes are targeted to plasmodesmata. Plasmodesmatal permeability is then increased following interaction with movement protein and the entire movement complex or its nucleic acid component is translocated across the plasmodesmatal channel. (shrink)

Wissenskultur im Alten Orient: Weltanschauung, Wissenschaften, Techniken, Technologien. Edited by Hans Neumann. Colloquien der Deutschen Orient-Gesellschaft, vol. 4. Wiesbaden: Harrassowitz Verlag, 2012. Pp. xi + 433, illus. €42.

The paper proposes an epistemic taxonomy of assertives based on a concept of epistemic presuppositions. Epistemic presuppositions are a special kind of pragmatic presuppositions, which describe the structure of hearer’s and speaker’s meta-reasoning. The epistemic taxonomy of assertives is based on the operator of strong common belief (sCB). It is argued that the properties of a strong common belief operator (positive and negative introspection, non-factivity) are relevant for the analysis of pragmatics presuppositions. Also strong common belief operator is used for (...) the explication of gricean epistemic construction: “the Speaker thinks (and would expect the hearer to think that the speaker thinks…”. The assertives’ taxonomy for an utterance φ consists of the following basic types: “1. Non-Literal Utterances” (sCBS,H¬φ) and “2. Literal Utterances” (¬sCBS,H¬φ). Non-Literal Utterances is divided into two groups: “1.1. Conventional Literal Utterances“ (there is a convention such that means ψ in a context c.) and “1.2. Non- Conventional Literal Utterances“ (there no such convention). There are two types of Literal Utterances “2.1. Semantically Trivial Utterances (sCBS,Hφ)” and “2.2. Semantically Non-Trivial Utterances (¬sCBS,Hφ)”. Semantically Trivial Utterances is divided into two parts: “2.1.1. Conventional Semantically Trivial Utterances” (there is a convention such that means ψ in a context c) and “2.1.2. Non-conventional Semantically Trivial Utterances” (there no such convention). Semantically Non-Trivial Utterances is divided into two parts: “2.2.1. Insincere Utterances” BS¬φ and “2.2.2. Sincere Utterances ¬BS¬φ. There are two types of Sincere Utterances “2.2.2.1. Credible Utterances” (BSφ) and “2.2.2.2. Non-credible Utterances”). (shrink)

Sargonic Cuneiform Tablets in the Real Academia de la Historia: The Carl L. Lippmann Collection. By Manuel Molina. Catálogo del Gabinete de Antigüedades. Madrid: Real Academia de la Historia and Ministerio de Cultura de la República de Iraq, 2014. Pp. 317, 337 plts.

The paper aims at outlining some essential Neoplatonic traits in order to accomplish an ecological Metaphysics, by developing a dynamic and intensive notion of «Selfness» within three main fields of knowledge: Biology, Psychology, Cosmology. Starting from post-cybernetics systems’ theories, by deepening Bateson’s Ecology of Mind, in the end the research will restore the ancient One-Many aporia, showing its irrefutable value.

In spite of all the industrious efforts Peirce scholars have made so far, Peirce’s biography still retains a number of gaps, among which the problem of identity of Peirce’s second wife, Juliette Froissy, stands out most significantly. It is all the more important that, as some scholars suggest, the discovery of any reliable facts about Juliette could provide an explanation to some of the decisions Peirce had made, which irrevocably changed the course of his life, as well as his semiotic (...) theory. By courtesy of Professor Dr. Nathan Houser and the Peirce Edition Project, the writer of the present paper was granted access to the archive materials containing the Max H. Fisch — Maurice Auger correspondence and Victor Lenzen’s notes on Juliette. The paper aims at arranging the dispersed data obtained from these and other sources into a set of several distinct versions, which curiously refer to each other and collectively impose a certain order on some major abductions concerning Juliette’s identity. (shrink)

The relationship between logic and ethics is one of the basic and most essential questions of classical philosophical analysis. Since the time of the Pythagoreans, the fundamental unity of the two – whether by means of vague intuition, an elaborate conceptual scheme, or even a carefully crafted lifestyle – has led philosophers to identify truth and virtue. In his critical philosophy Kant put this unity of truth and virtue to extensive and rigorous trial to determine what conditions, if any, a...

In this paper, we addressed the problem of choosing a nuclear fuel cycle. Ethical problems related to the choice of a nuclear fuel cycle, such as the depletion of natural uranium reserves, the accumulation of nuclear waste, and the connection with the problems of nonidentity and distributive justice are considered. We examined cultural differences in attitudes toward nuclear safety and the associated ambiguities in the choice of a nuclear fuel cycle. We suggested that the reduction in consumption of natural uranium (...) does not seem to be a feasible way of reducing nuclear waste because of the nonidentity problem. (shrink)

The paper aims to disclosure of key points in the development of the German tradition of historiography of philosophy after the 90s of the 18th century. The starting point was the so-called «dispute about the method» of historiography, which erupted in the last decade of the 18th century not without the influence of Kant’s «critical philosophy». Its participants (Reinhold, Fülleborn, Goess, Grohmann, Tennemann, and others) put forward different theses, but they agreed that it is Kant’s philosophy that makes it possible (...) to create a «philosophical history of philosophy». A type of historiography was formed, which was based on the criterion of «progress of philosophy» and Kant’s position was considered as a standard for any historiography. Subsequently, other types of historiography were formed, which followed either the opposite criterion of «regress» or «decadence», or tried to combine both of these criteria (Hegel). In the second half of the 19th century «history of problems» becomes widespread as a principle of research and presentation of the history of philosophy, its main representatives were W. Windelband, N. Hartmann, H. Heimsoeth. Instead, in the second half of the 20th century the dominant type of historiography is the «history of concepts», which finds linguistic and philosophical justification in Gadamer’s philosophical hermeneutics. In recent decades, the German tradition of historiography has been enriched by K. Flasсh’s project «historical philosophy» and by D. Henrich program «constellation research». In both of these projects, there is a noticeable attraction to microhistory, going beyond the «classic» texts, discovering hitherto unknown figures and sources that significantly expand the established practice of the historiography of philosophy. (shrink)

The article analyzes the concept of «reception», which has recently gained popularity, but remains not sufficiently clarified in studies of the history of philosophy. It is assumed that the concept has become the subject of explicit methodological reflection only in the reception aesthetics (Rezeptionsästhetik) of the Constance School of Literary Studies, where it not only opposes the concept of influence, but is interpreted in the context of a horizontal structure for text understanding. At the same time, it is important to (...) distinguish not only the «historical horizon» and the «horizon of modernity» (Gadamer), but also the «horizon of expectations» in its duality: both coded in the text itself and the life practice of the reader, «inter literary» and «external literary» horizons of expectation. The empirical trend of the reception study, developed later, makes it possible to formulate a number of specific proposals for the methodology of historical and philosophical research, which focuses on the principle of «history of receptions». It is clear that only «reproductive» and «productive» reception categories are relevant to this type of research. In particular, it is an analysis of the institutional prerequisites for the reception, the classification of the source base of that received, the channels (re)broadcast of that received, the specification of the types of scientific communication, the tradition determined positive or negative factors of reception, the status of philosophy in particular historical periods. (shrink)

In The Sources of Normativity Korsgaard introduces her conception of practical identities understood as the source of moral obligations. This conception forms a point of transition from Korsgaard’s theory of action to her solution to the problem of the authority of moral norms. In order to describe how universal categorical reasoning is compatible with the moral content of particular practical decisions, Korsgaard needs to show how our contingent practical identities can be reconciled with what she defines as the universally shared (...) identity that expresses our humanity. To make this reconciliation work, she devises an argument for the public shareability of reasons amended by her reinterpretation of the Kantian as if principle. I suggest that, in doing so, Korsgaard steps too far away from Kant’s architectonic approach to the question of why moral norms bind us, and that, consequently, the Korsgaardian reconciliation between the two kinds of identities, as it stands, cannot be accomplished. (shrink)

This book is about the relationship between necessary reasoning and visual experience in Charles S. Peirce’s mathematical philosophy. It presents mathematics as a science that presupposes a special imaginative connection between our responsiveness to reasons and our most fundamental perceptual intuitions about space and time. Central to this view on the nature of mathematics is Peirce’s idea of diagrammatic reasoning. In practicing this kind of reasoning, one treats diagrams not simply as external auxiliary tools, but rather as immediate visualizations of (...) the very process of the reasoning itself. Thus conceived, one's capacity to diagram their thought reveals a set of characteristics common to ordinary language, visual perception, and necessary mathematical reasoning. The book offers an original synthetic approach that allows tracing the roots of Peirce’s conception of a diagram in certain patterns of interrelation between his semiotics, his pragmaticist philosophy, his logical and mathematical ideas, bits and pieces of his biography, his personal intellectual predispositions, and his scientific practice as an applied mathematician. (shrink)

The conception of two kinds of practical identities, which Korsgaard introduces in the Sources of Normativity, helps her explain how universal categorical reasoning is compatible with the moral content of individual practical decisions. Based on this conception, she devises an interpretation of the Kantian as if principle amended by her argument for the public shareability of reasons. I suggest that, in doing so, Korsgaard steps too far away from Kant’s architectonic approach to the question of why moral norms bind us, (...) and that, as a result, the Korsgaardian explanation, as it stands, cannot be accomplished. (shrink)

InMind and World,John McDowell claims that we need to steer our way between bald naturalism and rampant platonism as two ways to explain our capacity to use concepts. Performing this task requires an explanation of how concepts can be both socially charged and, at the same time, genuinely involving the world as it really is. I suggest that McDowell’s explanation is insufficient and that Wilfrid Sellars’s idea of sense impressions might be used to clarify the relationship between social practices and (...) conceptual knowledge without incurring too much damage to the overall architectonics of McDowell’s theory.DansMind and World, John McDowell affirme que nous devons nous éloigner du naturalisme dépouillé et du platonisme exubérant comme étant deux manières d’expliquer notre capacité à utiliser des concepts. Pour accomplir cette tâche, il est nécessaire d’expliquer comment les concepts peuvent être à la fois chargés socialement et réellement engagés avec le monde tel qu’il est. Je suggère que l’explication de McDowell est insuffisante et que l’idée de Wilfrid Sellars des impressions sensorielles peut être utilisée pour clarifier la relation entre les pratiques sociales et la connaissance conceptuelle, et ceci sans faire encourir trop de dégâts à l’architectonique générale de la théorie de McDowell. (shrink)